software system award造句
例句与造句
- The Association for Computing Machinery recognized Eclipse with the 2011 ACM Software Systems Award on 26 April 2012.
- Adve along with other main authors were given the 2012 ACM Software System Award for the LLVM project.
- In 2009, ACM recognized the seminal contributions of his Gamma parallel database system project with the ACM Software System Award.
- The Association for Computing Machinery presented Adve, Lattner, and Evan Cheng with the 2012 ACM Software System Award for LLVM.
- In 2007, Meyer received the Software System Award of the ACM for " impact on software quality " in recognition of the design of Eiffel.
- It's difficult to find software system award in a sentence. 用software system award造句挺难的
- To mark the popularity and significance of Tk in the 1990s, John Ousterhout was given the ACM Software System Award in 1997 for Tcl / Tk:
- In 1992, an ACM Software System Award recognized the team of Daniel G . Bobrow, Richard R . Burton, L . Peter Deutsch, Ronald Kaplan, Larry Masinter, Warren Teitelman for their pioneering work on Interlisp.
- She served as president of the Association for Computing Machinery ( ACM ) from 1984 to 1986, and, together with Alan Kay and Dan Ingalls, received the ACM Software Systems Award in 1987 and was also included in Forbes's " Twenty Who Matter ".
- The ACM " Software System Award " is an annual award that honors people or an organization " " for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both " ".
- The "'ACM Software System Award "'is an annual award that honors people or an organization " " for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both " ".
- In 2005, the authors of the Boyer-Moore family of provers, which includes ACL2, received the ACM Software System Award " for pioneering and engineering a most effective theorem prover ( . . . ) as a formal methods tool for verifying safety-critical hardware and software ."
- In April 2013, the ACM awarded Lattner its " Software System Award ", which is presented to anyone " " recognized for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both " ".